<?php
   function url($str='')
   {
		return URL.$str;
   }
   
   function redirect($str)
   {
   		header("location:".URL.$str);
   }
?>